Ferruccio Damiani (Author) / Najlacnejšie knihy

Books by author Ferruccio Damiani

Showing 1 – 7 out of 7 results

Next

Page 1. out of 1

Previous

Sort by and show unavailable as well

  1. Coordination Models and Languages

    Coordination Models and Languages

    Ferruccio Damiani | Springer Nature Switzerland AG, 2021


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.78

    Sale 7 %
    You save 4.29 €
    Buy
  2. Formal Verification of Object-Oriented Software

    Formal Verification of Object-Oriented Software

    Bernhard Beckert, Ferruccio Damiani, Dilian Gurov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    47.62

    Sale 7 %
    You save 3.97 €
    Buy
  3. Formal Methods for Executable Software Models

    Formal Methods for Executable Software Models

    Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen | Springer International Publishing AG, 2014


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.78

    Sale 7 %
    You save 4.29 €
    Buy
  4. Active Object Languages: Current Research Trends

    Active Object Languages: Current Research Trends

    Frank de Boer, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Eduard Kamburjan | Springer, Berlin, 2024


    In stock at our supplier - Shipping in 10 - 18 days

    Language: English

    Binding: Paperback

    74.58

    Sale 9 %
    You save 8.28 €
    Buy
  5. Types for Proofs and Programs

    Types for Proofs and Programs

    Stefano Berardi, Ferruccio Damiani, Ugo De Liguoro | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.78

    Sale 7 %
    You save 4.29 €
    Buy
  6. Formal Methods for Components and Objects

    Formal Methods for Components and Objects

    Bernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.78

    Sale 7 %
    You save 4.29 €
    Buy
  7. Types for Proofs and Programs

    Types for Proofs and Programs

    Stefano Berardi, Mario Coppo, Ferruccio Damiani | Springer, Berlin, 2004


    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.78

    Sale 7 %
    You save 4.29 €
    Buy

Next

Page 1. out of 1

Previous

Results on page

Refine results

Language
  • English7
Binding
  • Paperback7
Availability
  • Within 2 weeks6
  • Within a month1
Published
  • 20241
  • 20211
  • 20141
  • 20131
  • 20121
  • 20091
  • 20041
Price range

-



Collection points Bratislava a 12782 dalších

Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies


Account: Log in
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Shopping cart ( Empty )

For free shipping
shop for 59,99 € and more

You are here: